| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Truth Table 1 | Text File | 1 | 30b | 1996-09-28 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| Inequivalence 1 | Unknown | 29b | 1996-09-28 | |
| Invalidity 1 | Unknown | 41b | 1996-09-28 | |
| Logical Truth 1 | Unknown | 31b | 1996-09-28 | |
| Logical Truth 2 | Unknown | 35b | 1996-09-28 | |
| Logical Truth 3 | Unknown | 37b | 1996-09-28 | |
| Satisfiability 1 | Unknown | 58b | 1996-09-28 | |
| Satisfiability Loop | Unknown | 35b | 1996-09-28 | |
| Unsatisfiability 1 | Unknown | 35b | 1996-09-28 | |
| Validity 1 | Unknown | 47b | 1996-09-28 | |
| Validity 2 | Unknown | 77b | 1996-09-28 | |
| Validity 3 | Unknown | 84b | 1996-09-28 | |
| Validity 4 | Unknown | 41b | 1996-09-28 | |